- 計(jì)算機(jī)程序驗(yàn)證
- computer: n. 1.計(jì)算者。 2.(電子)計(jì)算機(jī)；計(jì)量器。 短語和 ...
- verification: n. 1.證實(shí)，證明，確定；核驗(yàn)，驗(yàn)證，核對；檢驗(yàn)，校驗(yàn) ...
- program verification: 程序檢驗(yàn); 程序驗(yàn)證
- automatic program verification: 自動程序驗(yàn)證
- automatic program verification system: 自動程序驗(yàn)證系統(tǒng)
下載手機(jī)詞典可隨時(shí)隨地查詞查翻譯